/* 
 * File:   execution.h
 * Author: lin
 *
 * Created on May 8, 2011, 12:45 PM
 */

#ifndef EXECUTION_H
#define	EXECUTION_H

#include "common.h"
#include "backend.h"
#include "runtime.h"



#endif	/* EXECUTION_H */

